BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/9825/11-
 April-2018-Algebra|Coalgebra-Seminar-Esther-Boerbo
 om-and-Noor-Heerkens-
DTSTAMP:20180401T040812
SUMMARY:Algebra|Coalgebra Seminar, Esther Boerboom
  and Noor Heerkens 
ATTENDEE;ROLE=Speaker:Esther Boerboom and Noor Hee
 rkens (ILLC) 
DTSTART;TZID=Europe/Amsterdam:20180411T160000
DTEND;TZID=Europe/Amsterdam:20180411T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
 rdam
DESCRIPTION:The objective of our study was to find
  suitable classical equivalents of intuitionistic 
 implication. Since the formula “p implies q” has i
 nfinitely many classical equivalents in the full f
 ragment of intuitionistic propositional logic, we 
 restricted ourselves first of all to finite fragme
 nts. In order to find the most suitable candidates
  we examined important features of the candidates 
 in these fragments, such as reflexivity and transi
 tivity. Additionally we examined if the formulas a
 re weaker or stronger than intuitionistic implicat
 ion and whether they are exact.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The objective 
 of our study was to find suitable classical equiva
 lents of intuitionistic implication. Since the for
 mula “p implies q” has infinitely many classical e
 quivalents in the full fragment of intuitionistic 
 propositional logic, we restricted ourselves first
  of all to finite fragments. In order to find the 
 most suitable candidates we examined important fea
 tures of the candidates in these fragments, such a
 s reflexivity and transitivity. Additionally we ex
 amined if the formulas are weaker or stronger than
  intuitionistic implication and whether they are e
 xact.</p>\n
URL:http://events.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
 .nl
END:VEVENT
END:VCALENDAR